$\forall$$T$:Type, $L$:($T$ List), $a$:Atom1, $x$:$T$. ($x$ $\in$ $L$) $\Rightarrow$ $L$:$T$ List$\parallel$$a$ $\Rightarrow$ $x$:$T$$\parallel$$a$